- énumérabilité
- fперечислимость, счётность
Dictionnaire polytechnique Français-Russe. 2013.
Dictionnaire polytechnique Français-Russe. 2013.
Ensemble récursivement énumérable — Récursivement énumérable En théorie de la calculabilité, un ensemble récursivement énumérable ou semi décidable est un ensemble qui est le domaine de définition, ou, de façon équivalente, l image d un fonction calculable (il faut ajouter l… … Wikipédia en Français
Langage partiellement décidable — Récursivement énumérable En théorie de la calculabilité, un ensemble récursivement énumérable ou semi décidable est un ensemble qui est le domaine de définition, ou, de façon équivalente, l image d un fonction calculable (il faut ajouter l… … Wikipédia en Français
Recursivement enumerable — Récursivement énumérable En théorie de la calculabilité, un ensemble récursivement énumérable ou semi décidable est un ensemble qui est le domaine de définition, ou, de façon équivalente, l image d un fonction calculable (il faut ajouter l… … Wikipédia en Français
Récursivement énumérable — En théorie de la calculabilité, un ensemble récursivement énumérable ou semi décidable est un ensemble qui est le domaine de définition, ou, de façon équivalente, l image d une fonction calculable (il faut ajouter l ensemble vide à la dernière… … Wikipédia en Français
Systeme formel — Système formel Un système formel est un ensemble de formules, ou expressions formelles, que l’on peut interpréter comme des noms, des phrases, ou de toute autre façon. Ils sont des ensembles fondamentaux pour la logique et les mathématiques.… … Wikipédia en Français
Système formel — Un système formel est une modélisation mathématique d un langage en général spécialisé qui en représente les éléments, termes, formules, dérivations, ..., par des objets finis (entiers, suites, arbres ou graphes finis...). Le propre d un système… … Wikipédia en Français
Unzerlegbarkeit — est le principe des mathématiques constructives qui dit que le continu, c est à dire l ensemble des nombres réels, n admet aucune partition propre. Le mot signifie « indécomposabilité » en allemand, et l adjectif correspondant est… … Wikipédia en Français